TAGs: Dice probability formula